$\forall$$M$:MsgA, $x$:Id. $M$.ds($x$) $\in$ Type